Qu'est-ce (qui) est Круг в доказательстве - définition

Круг в доказательстве; Круг в определении; Логический круг; Circulus vitiosus; Circulus in definiendo; Circulus in demonstrando; Причинно-следственный круг

Круг в доказательстве

(лат. circulus in demonstrando или petitio principi)

логическая ошибка, состоящая в том, что в качестве одной из посылок Доказательства используется какое-либо следствие его тезиса, т. е. суждение, для доказательства которого необходимо использовать - уже в качестве посылки - этот тезис. Кроме тривиальных случаев, когда посылка совпадает с тезисом или является его переформулировкой, возможны "замаскированные" К. в д., когда посылка эквивалентна тезису, но по формулировке не похожа на него. "Доказательство", содержащее круг, доказательством своего тезиса не является; но, будучи выводом этого тезиса из эквивалентной ему посылки, может играть важную методологическую роль именно обнаружение этой самой эквивалентности. Примеры этого дают попытки доказательства V постулата Евклида о параллельных, выводимого, например, из теоремы о том, что сумма углов любого треугольника равна 180°; теорема эта, в свою очередь, доказывается с помощью V постулата.

Ю. А. Гастев.

КРУГ В ДОКАЗАТЕЛЬСТВЕ

обоснование тезиса доказательства с помощью посылок, в числе которых имеется такая, для оправдания которой приходится, в свою очередь, обращаться к тезису. Доказательство, содержащее круг, не может считаться убедительным обоснованием своего тезиса.

Порочный круг

Порочный круг (), логический круг — замкнутая последовательность событий, которая подкрепляется петлёй обратной связи, с каждой итерацией усиливающей производимый негативный эффект. Противоположностью порочного круга является добродетельный круг, при котором циклически усиливается положительный эффект. Порочный круг в краткосрочной перспективе не стремится к равновесию и требует внешних воздействий для своего прекращения — «разрыва порочного круга».

https://ru.wikipedia.org/wiki/Порочный_круг

Wikipédia

Порочный круг

Порочный круг (лат. circulus vitiosus), логический круг — замкнутая последовательность событий, которая подкрепляется петлёй обратной связи, с каждой итерацией усиливающей производимый негативный эффект. Противоположностью порочного круга является добродетельный круг, при котором циклически усиливается положительный эффект. Порочный круг в краткосрочной перспективе не стремится к равновесию и требует внешних воздействий для своего прекращения — «разрыва порочного круга».

Порочный круг часто используется сознательно как демагогический приём. В этом значении выражение получило распространение как фразеологизм.

Порочный круг в определении (лат. circulus in definiendo) — ситуация, при которой определение предмета включает в себя свойства самого предмета. Классический пример порочного круга в определении обыгран Станиславом Лемом (см. Сепульки). Примером порочного круга в определении также может служить рекурсивный акроним.
Порочный круг в доказательстве — круговое рассуждение (лат. circulus in probando) — использование при доказательстве утверждения самого утверждения или его следствий. Классический пример — попытки доказательства аксиомы параллельности Евклида.

Выражение часто используется в гуманитарных науках для обозначения явлений «рекурсии» и «положительной обратной связи», приводящих к нежелательным результатам. Похожий смысл имеет также выражение «замкнутый круг».

В русских текстах иногда используются и латинские наименования порочного круга, в особенности, когда хотят указать его конкретную разновидность.

https://ru.wikipedia.org/wiki/Порочный круг